Non-Commutative EQ-Logics and Their Extensions
نویسندگان
چکیده
We discuss a formal many-valued logic called EQlogic which is based on a recently introduced special class of algebras called EQ-algebras. The latter have three basic binary operations (meet, multiplication, fuzzy equality) and a top element and, in a certain sense, generalize residuated lattices. The goal of EQ-logics is to present a possible direction in the development of mathematical logics in which axioms are formed as identities. In this paper we propose a basic EQ-logic and three extensions which end up with a logic equivalent to the MTL-logic. Keywords—EQ-algebra, fuzzy equality, residuated lattice, MTLlogic, fuzzy logic.
منابع مشابه
EQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملEQ-logics: Non-commutative fuzzy logics based on fuzzy equality
In this paper, we develop a specific formal logic in which the basic connective is fuzzy equality and the implication is derived from the latter. Moreover, the fusion connective (strong conjunction) is noncommutative. We call this logic EQ-logic. First, we formulate the basic EQ-logic which is rich enough to enjoy the completeness property. Furthermore, we introduce two extensions which seem to...
متن کاملSome Extensions of the Logic psUL
Based on Lambek calculus and residuated lattices, psUL has been proposed by Metcalfe, Olivetti and Gabbay as a non-commutative version of the uninorm logic UL, but until recently the corresponding research has been lacking. The present paper mainly surveys the schematic extensions of psUL as well as the relation between non-commutative logics having been studied based on pseudo-t-norm. In parti...
متن کاملCANONICAL FORMULAS FOR k-POTENT COMMUTATIVE, INTEGRAL, RESIDUATED LATTICES
Canonical formulas are a powerful tool for studying intuitionistic and modal logics. Indeed, they provide a uniform and semantic way of axiomatising all extensions of intuitionistic logic and all modal logics above K4. Although the method originally hinged on the relational semantics of those logics, recently it has been completely recast in algebraic terms. In this new perspective canonical fo...
متن کاملNon-normal modalities in variants of linear logic
This note presents modal versions of resource-conscious logics. We concentrate on extensions of variants of Linear Logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic Linear Logic wi...
متن کامل